#include<bits/stdc++.h>
using namespace std;
int x,n,a,r;
int cnt=0;
int main()
{
        cin>>x>>n;
        a=n/7*5;
        r=n%7;
        for(int i=0;i<r;i++){
            if((x+i)==6||(x+i)==7){
                cnt++;
            }
        }
        cout<<(a+r-cnt)*250;
        return 0;
}
